SPE 163589 Solver Preconditioning Using the Combinatorial Multilevel Method
نویسنده
چکیده
The purpose of this paper is to report the first preliminary study of the recently introduced Combinatorial Multilevel (CML) method for solver preconditioning in large-scale reservoir simulation with coupled geomechanics. The CML method is a variant of the popular Algebraic Multigrid (AMG) method yet with essential differences. The basic idea of this new approach is to construct a hierarchy of matrices by viewing the underlying matrix as a graph and by using the discrete geometry of the graph such as graph separators and expansion. In this way, the CML method combines the merits of both geometric and algebraic multigrid methods. The resulting hybrid approach not only provides a simpler and faster set-up phase compared to AMG, but the method can be proved to exhibit strong convergence guarantees for arbitrary symmetric diagonally-dominant matrices. In addition, the underlying theoretical soundness of the CML method contrasts to the heuristic AMG approach, which often can show slow convergence for difficult problems. This new approach is implemented in a reservoir simulator for both pressure and displacement preconditioners in the multi-stage preconditioning technique. We present results based on several known benchmark problems and provide a comparison of performance and complexity with the widespread preconditioning schemes used in large-scale reservoir simulation. An adaptation of CML for unsymmetric matrices is shown to exhibit excellent convergence properties for realistic cases. Introduction Reservoir simulation, which mimics or infers the behavior of fluid flow in a petroleum reservoir system through the use of mathematical models, is a practice that is widely used in petroleum upstream development and production. Reservoir simulation was born as an efficient tool for reservoir engineers to better understand and manage assets. However, like any numerical simulation tool, reservoir simulation is inherently computational intensive and easily becomes inefficient if more grids, coupled physics, and/or complex geometry are necessary to accurately describe the complex phenomena occurring in the subsurface. Mathematically speaking, reservoir simulation solves a system of discretized partial differential equations (PDEs) which describe the underlying physics. Due to stability constraints, an implicit formulation is required at least for the pressure system. Details about the numerical analysis for choosing an implicit formulation (or more specifically, the backward Euler method) can be found in the classic literature of Aziz and Settari (1979). However, as a recent exception, Piault and Ding (1993) attempted a fully explicit scheme in a reservoir simulation on a massively parallel computer and showed acceptable results. They adopted the Dufort and Frankel scheme which is unconditionally stable but numerically inconsistent (Dufort and Frankel 1953). This scheme is of order of 2 2 x t accuracy, which clearly implies the truncation error can be significant if t does not approach 0 faster than x . In essence, implicit formulation is the only unconditionally stable and consistent scheme and is adopted by all commercial reservoir simulators. As a result, a linear solver is inevitable for reservoir simulation due to this implicit formulation. There are four main streams of formulations applied in reservoir simulation: IMPES, fully-implicit, AIM, sequential implicit. Of these, fully-implicit is the most robust formulation but the resulting coupled system matrix is numerically challenging and computationally expensive. In the fully-implicit formulation, pressure, saturation/mass, and/or temperature are to be solved simultaneously. The generated system matrix is highly non-symmetric and not positive definite, which brings great challenges for applying robust and efficient preconditioners and liner solvers. This situation is further exacerbated for large-scale models with highly heterogeneous coefficients and unstructured gridding. Since, generally speaking, in black-oil simulation the solution of linear system ( b Ax ) usually consumes up to 90% of the total execution time, linear solver performance enhancement means significant reservoir simulator speedup.
منابع مشابه
A preconditioned solver for sharp resolution of multiphase flows at all Mach numbers
A preconditioned five-equation two-phase model coupled with an interface sharpening technique is introduced for simulation of a wide range of multiphase flows with both high and low Mach regimes. Harten-Lax-van Leer-Contact (HLLC) Riemann solver is implemented for solving the discretized equations while tangent of hyperbola for interface capturing (THINC) interface sharpening method is applied ...
متن کاملA parallel linear solver for multilevel Toeplitz systems with possibly several right-hand sides
A Toeplitz matrix has constant diagonals; a multilevel Toeplitz matrix is defined recursively with respect to the levels by replacing the matrix elements with Toeplitz blocks. Multilevel Toeplitz linear systems appear in a wide range of applications in science and engineering. This paper discusses an MPI implementation for solving such a linear system by using the conjugate gradient algorithm. ...
متن کاملModern Building Materials, Structures and Techniques
The family of iterative methods for static and natural vibration analysis, based on preconditioned conjugate gradient (PCG) method with aggregation multilevel preconditioning, is considered. Both: the element-by-element procedure for assembling of stiffness matrix and sparse direct solver for it factoring and fast forward − backward substitutions ensure the high stability of methods against ill...
متن کاملARMS: an algebraic recursive multilevel solver for general sparse linear systems
This paper presents a general preconditioning method based on a multilevel partial solution approach. The basic step in constructing the preconditioner is to separate the initial points into two subsets. The rst subset which can be termed \coarse" is obtained by using \block" independent sets, or \aggregates". Two aggregates have no coupling between them, but nodes in the same aggregate may be ...
متن کاملA Wavelet-Galerkin Scheme for the Navier-Stokes equations
We propose a Wavelet-Galerkin scheme for the stationary NavierStokes equations based on the application of interpolating wavelets. To overcome the problems of nonlinearity, we apply the machinery of interpolating wavelets presented in [10] and [13] in order to obtain problem-adapted quadrature rules. Finally, we apply Newton’s method to approximate the solution in the given ansatz space, using ...
متن کامل